|
|
TC_SM_01 - StateTransition Realization |
|---|---|
| This rule checks that a StateTransition realizing a StateTransition from a previous level is consistent with the realized StateTransition and the Bounds of the StateTransition realize both bounds of the realized StateTransition. | |
|
TC_SM_02 - A Region shall have only one Shallow/Deep History State |
|---|---|
| This rule check that region have unique history state. | |